$\forall$${\it es}$:ES, ${\it ff}$:FIFO. ${\it ff}$.R $\in$ ${\it ff}$.C$\rightarrow$E$\rightarrow\mathbb{P}$